Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations
نویسندگان
چکیده
منابع مشابه
Classical Negation and Expansions of Belnap-Dunn Logic
We investigate the notion of classical negation from a non-classical perspective. In particular, one aim is to determine what classical negation amounts to in a paracomplete and paraconsistent four-valued setting. We first give a general semantic characterization of classical negation and then consider an axiomatic expansion BD+ of four-valued Belnap–Dunn logic by classical negation. We show th...
متن کاملBitopology and Four-valued Logic
Bilattices and d-frames are two different kinds of structures with a four-valued interpretation. Whereas d-frames were introduced with their topological semantics in mind, the theory of bilattices has a closer connection with logic. We consider a common generalisation of both structures and show that this not only still has a clear bitopological semantics, but that it also preserves most of the...
متن کاملResiduated Basic Logic I
We study the residuated basic logic (RBL) of residuated basic algebra in which the basic implication of Visser’s basic propositional logic (BPL) is interpreted as the right residual of a non-associative binary operator · (product). We develop an algebraic system SRBL of residuated basic algebra by which we show that RBL is a conservative extension of BPL. We present the sequent formalization LR...
متن کاملA Four-Valued Fuzzy Propositional Logic
It is generally accepted that knowledge based systems would be smarter and more robust if they can manage inconsistent, incomplete or imprecise knowledge. This paper is about a four-valued fuzzy propositional logic, which is the result of the combination of a four-valued logic and a fuzzy propositional logic. Besides the nice computational properties, the logic enables us also to deal both with...
متن کاملFour-Valued Semantics for Default Logic
Reiter’s default logic suffers the triviality, that is, a single contradiction in the premise of a default theory leads to the only trivial extension which everything follows from. In this paper, we propose a default logic based on fourvalued semantics, which endows default logic with the ability of handling inconsistency without leading to triviality. We define four-valued models for default t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Section of Logic
سال: 2020
ISSN: 2449-836X,0138-0680
DOI: 10.18778/0138-0680.2020.19